A New Characterization of Type-2 Feasibility

نویسندگان

  • Bruce M. Kapron
  • Stephen A. Cook
چکیده

K. Mehlhorn introduced a class of polynomial time computable operators in order to study poly time reducibilities between functions. This class is deened using a generalization of A. Cobham's deenition of feasibility for type 1 functions to type 2 functionals. Cobham's feasible functions are equivalent to the familiar poly time functions. We generalize this equivalence to type 2 functionals. This requires a deenition of the notion`poly time in the length of type 1 inputs'. The proof of this equivalence is not a simple generalization of the proof for type 1 functions; it depends on the fact that Mehlhorn's class is closed under a strong form of simultaneous limited recursion on notation, and requires an analysis of the structure of oracle queries in time bounded computations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Emulation, Model Identification and New-approach Characterization of a PV Panel (TECHNICAL NOTE)

This paper provides experimental and simulation tools to characterize a Photo-Voltaic (PV) panel. To achieve this objective, we start from a PV electrical model and we propose a circuit using Diode-based-equivalent PV (DBEPV) panel. This circuit is presented as a prototype of an equivalent PV panel. It is designed to emulate a real PV module in different climatic conditions (irradiance and temp...

متن کامل

Feasibility of Plain Rural Type Gathering towards Sustainable Development in Guilan Province, Iran

The gathering of rural type in Guilan plains is a kind of planning for physical development of rural settlements that aims at changing dwellers' lifestyle from a dispersed to a semi-dispersed state. This change will reduce the problems and difficulties of villages. In addition, it is an optimal way to exploit the resources and facilities for making a desirable spatial organization for villagers...

متن کامل

Characterization of weak fixed point property for new class of set-valued nonexpansive mappings

In this paper, we introduce a new class of set-valued mappings which is called MD-type mappings. This class of mappings is a set-valued case of a class of the D-type mappings. The class of D-type mappings is a generalization of nonexpansive mappings that recently introduced by Kaewkhao and Sokhuma. The class of MD-type mappings includes upper semi-continuous Suzuki type mappings, upper semi-con...

متن کامل

An Overview and Feasibility Study of Fabrication Technology and Characterization Techniques of Erbium-Doped Fiber amplifiers in Iran

In this paper, a brief summary of different methods of fabrication of optical preform and fiber is reviewed. Several methods of incorporation of erbium ions into optical preforms are studied. Characterization of the fabricated erbium doped fibers including measurements of refractive index profile, absorption, fluorescence and gain spectra and metastable lifetime are described. It is also expres...

متن کامل

Characterization of Iranian Isolates of Canine Parvovirus in Fecal Samples Using Polymerase Chain Reaction Assay

Despite the widespread prevalence of canine parvovirus disease (CPV) in Iranian dog population,molecular diagnosis of CPV variants, and investigation of the trends of its genetic changes is a new effort. Inthis study 50 samples from dogs suspicious of infection with clinical signs of diarrhea and vomiting, and 25samples from dogs suspected of infection with general symptoms su...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 25  شماره 

صفحات  -

تاریخ انتشار 1996